<html>
<head><meta charset="utf-8"><title>weekly meeting 2019-01-14 · wg-traits · Zulip Chat Archive</title></head>
<h2>Stream: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/index.html">wg-traits</a></h2>
<h3>Topic: <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html">weekly meeting 2019-01-14</a></h3>

<hr>

<base href="https://rust-lang.zulipchat.com">

<head><link href="https://rust-lang.github.io/zulip_archive/style.css" rel="stylesheet"></head>

<a name="155106963"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155106963" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155106963">(Jan 14 2019 at 18:57)</a>:</h4>
<p>Hello <span class="user-group-mention" data-user-group-id="692">@WG-compiler-traits</span> -- sync meeting in 5 minutes =)</p>



<a name="155107083"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107083" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107083">(Jan 14 2019 at 18:58)</a>:</h4>
<p>fyi, I can only be here for the first half-hour or so</p>



<a name="155107117"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107117" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107117">(Jan 14 2019 at 18:59)</a>:</h4>
<p>my update is I still find myself wanting to work on something, but not sure what</p>



<a name="155107207"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107207" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107207">(Jan 14 2019 at 19:00)</a>:</h4>
<p>(that's so perfectly stated I'm going to steal it)</p>



<a name="155107208"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107208" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107208">(Jan 14 2019 at 19:00)</a>:</h4>
<p>my update is I still find myself wanting to work on something, but not sure what</p>



<a name="155107216"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107216" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107216">(Jan 14 2019 at 19:00)</a>:</h4>
<p>I can be here for a bit, but not too long...</p>



<a name="155107268"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107268" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107268">(Jan 14 2019 at 19:01)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> want to fix the RPIT lifetime issues? :-D</p>



<a name="155107342"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107342" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107342">(Jan 14 2019 at 19:02)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> if you can link me to some info I'll look into it</p>



<a name="155107364"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107364" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107364">(Jan 14 2019 at 19:02)</a>:</h4>
<p>cool</p>



<a name="155107378"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107378" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107378">(Jan 14 2019 at 19:02)</a>:</h4>
<p>Also I could probably mentor someone to finish prototyping trait objects in chalk</p>



<a name="155107433"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107433" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107433">(Jan 14 2019 at 19:03)</a>:</h4>
<p>In terms of the "salsa-ification" business, it seems like we had a few too many people interested, and nobody actually "claimed", is that correct?</p>



<a name="155107493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107493">(Jan 14 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> assuming we already have a rough idea of how to fix it.. I don't think I'm qualified to come up with solutions in the compiler where others have failed, yet :)</p>



<a name="155107503"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107503" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107503">(Jan 14 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> <br>
Okay, regarding RPIT lifetimes:<br>
1. <a href="https://github.com/rust-lang/rust/issues/34511#issuecomment-373423999" target="_blank" title="https://github.com/rust-lang/rust/issues/34511#issuecomment-373423999">https://github.com/rust-lang/rust/issues/34511#issuecomment-373423999</a> (<span class="user-mention" data-user-id="119009">@eddyb</span> has some thoughts about this, but he hasn't been around for a while now, and <span class="user-mention" data-user-id="116009">@nikomatsakis</span> understands it anyway)<br>
2. <a href="https://github.com/rust-lang/rust/issues/42940" target="_blank" title="https://github.com/rust-lang/rust/issues/42940">https://github.com/rust-lang/rust/issues/42940</a><br>
3. Possibly <a href="https://github.com/rust-lang/rust/issues/55929" target="_blank" title="https://github.com/rust-lang/rust/issues/55929">https://github.com/rust-lang/rust/issues/55929</a> is related to or even the same as 1?</p>



<a name="155107520"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107520" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107520">(Jan 14 2019 at 19:04)</a>:</h4>
<p><span class="user-mention" data-user-id="116883">@tmandry</span> yep, I think so :-)</p>



<a name="155107523"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107523" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107523">(Jan 14 2019 at 19:04)</a>:</h4>
<p>I feel like those issues are not really an implementation concern</p>



<a name="155107535"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107535" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107535">(Jan 14 2019 at 19:04)</a>:</h4>
<p>if not, maybe we can clarify the approaches here.</p>



<a name="155107552"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107552" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107552">(Jan 14 2019 at 19:05)</a>:</h4>
<p>but I'm not sure what each of the issues links to</p>



<a name="155107572"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107572" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107572">(Jan 14 2019 at 19:05)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> I would love to learn a bit about Chalk by doing that, but I think I'm a bit overburdened already... if no one has taken it on-board in a week's time, maybe?</p>



<a name="155107579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107579">(Jan 14 2019 at 19:05)</a>:</h4>
<p>it's more that I am concerned about us accidentally accepting things we don't quite know how to think about; I'm not sure what will help me feel less concerned about that, though.</p>



<a name="155107587"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107587" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107587">(Jan 14 2019 at 19:05)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yes we spoke about possibly breaking it up into pieces. I guess firstly we need an issue</p>



<a name="155107656"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107656" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107656">(Jan 14 2019 at 19:06)</a>:</h4>
<p>yeah, I suppose so.</p>



<a name="155107667"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107667" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107667">(Jan 14 2019 at 19:06)</a>:</h4>
<p>I'm not sure it merits more than one person really</p>



<a name="155107707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107707">(Jan 14 2019 at 19:06)</a>:</h4>
<p>ok I agree in any case that "supply of actionable steps" remains the hardest thing to create  =)</p>



<a name="155107753"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107753" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107753">(Jan 14 2019 at 19:07)</a>:</h4>
<p>I'd also be interested in tracking the RPIT lifetimes issues</p>



<a name="155107759"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107759" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107759">(Jan 14 2019 at 19:07)</a>:</h4>
<p>I was initially interested in salsa-ification but I am happy to pick up something else, if someone else wants to work on that</p>



<a name="155107762"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107762" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107762">(Jan 14 2019 at 19:07)</a>:</h4>
<p>and helping to resolve if possible</p>



<a name="155107835"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107835" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107835">(Jan 14 2019 at 19:08)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> cool. you probably understand those better than me. are you of the opinion that 3 and 1 are the same?</p>



<a name="155107839"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107839" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107839">(Jan 14 2019 at 19:08)</a>:</h4>
<p>2 is definitely different</p>



<a name="155107857"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107857" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107857">(Jan 14 2019 at 19:08)</a>:</h4>
<p>although on the same theme of course.</p>



<a name="155107885"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107885" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107885">(Jan 14 2019 at 19:09)</a>:</h4>
<p>ok so I'm updating <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AVoTN6X9rLS4nmmf4Aj2hz6DAg-oDfr6ct8xx63HSAOOmIZX" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AVoTN6X9rLS4nmmf4Aj2hz6DAg-oDfr6ct8xx63HSAOOmIZX">the paper doc a bit</a></p>



<a name="155107888"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107888" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107888">(Jan 14 2019 at 19:09)</a>:</h4>
<p>I am also open to working on anything. My preference is to things that help get chalk into rustc faster</p>



<a name="155107889"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107889" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107889">(Jan 14 2019 at 19:09)</a>:</h4>
<p>maybe we can brainstorm out some of the things and try to write out what is blocking them</p>



<a name="155107927"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155107927" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155107927">(Jan 14 2019 at 19:10)</a>:</h4>
<p>(I would like to take some of that material and move it to something like the repo we had talked about; I had hoped to do this before last week but hey, life, but this gives us a chance to kind of create it together, so that's good =)</p>



<a name="155108079"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108079" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108079">(Jan 14 2019 at 19:12)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> I have no idea about (3)</p>



<a name="155108124"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108124" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108124">(Jan 14 2019 at 19:12)</a>:</h4>
<p>I hadn't seen that before</p>



<a name="155108308"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108308" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108308">(Jan 14 2019 at 19:15)</a>:</h4>
<p><span class="user-mention" data-user-id="127859">@Taylor Cramer</span> it looks very much like 1, but I can help investigate if you like. do you want to spearhead 1 and 2 and let me know if you need assistance (just to speed things up; I'm sure you can do it all yourself)</p>



<a name="155108343"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108343" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108343">(Jan 14 2019 at 19:15)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> is this a good point to plan a meeting about upcasting and multi-trait objects too?</p>



<a name="155108351"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108351" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108351">(Jan 14 2019 at 19:15)</a>:</h4>
<p>I think so</p>



<a name="155108357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108357">(Jan 14 2019 at 19:15)</a>:</h4>
<p>I think for some of these topics that have a lot of uncertainty</p>



<a name="155108409"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108409" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108409">(Jan 14 2019 at 19:16)</a>:</h4>
<p>probably the best way for us to make traction is to schedule a dedicated time to chat about it</p>



<a name="155108413"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108413" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108413">(Jan 14 2019 at 19:16)</a>:</h4>
<p>with the goal of creating actionable steps etc</p>



<a name="155108442"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108442" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108442">(Jan 14 2019 at 19:16)</a>:</h4>
<p>(<span class="user-mention" data-user-id="116108">@Keith Yeung</span> are you here now?)</p>



<a name="155108484"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108484" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Keith Yeung <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108484">(Jan 14 2019 at 19:17)</a>:</h4>
<p>Yes</p>



<a name="155108491"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108491" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108491">(Jan 14 2019 at 19:17)</a>:</h4>
<p>indeed</p>



<a name="155108563"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108563" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108563">(Jan 14 2019 at 19:18)</a>:</h4>
<p>actually it feels pretty good just writing all these things down</p>



<a name="155108567"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108567" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108567">(Jan 14 2019 at 19:18)</a>:</h4>
<p>please people take a look and tell me what you think is missing</p>



<a name="155108579"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108579" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108579">(Jan 14 2019 at 19:18)</a>:</h4>
<p>I am wondering whether it makes sense</p>



<a name="155108586"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108586" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108586">(Jan 14 2019 at 19:18)</a>:</h4>
<p>for some of these specific topics, particularly the more complex ones</p>



<a name="155108598"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108598" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108598">(Jan 14 2019 at 19:18)</a>:</h4>
<p>to have kind of dedicated chat slots</p>



<a name="155108618"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108618" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108618">(Jan 14 2019 at 19:19)</a>:</h4>
<p>i.e., maybe this "weekly traits meeting" is too broad -- and it should become less frequent, more of a "meta-meeting", and we should have more narrow discussions?</p>



<a name="155108627"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108627" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108627">(Jan 14 2019 at 19:19)</a>:</h4>
<p>hmm perhaps</p>



<a name="155108634"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108634" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108634">(Jan 14 2019 at 19:19)</a>:</h4>
<p><span class="user-mention" data-user-id="116108">@Keith Yeung</span> I was going to say sorry for not giving you feedback on the clause selection but let's push that forward,</p>



<a name="155108641"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108641" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108641">(Jan 14 2019 at 19:19)</a>:</h4>
<p>biweekly shorter meta-meeting, but weekly focused meetings?</p>



<a name="155108694"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108694" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108694">(Jan 14 2019 at 19:20)</a>:</h4>
<p>(I've been thinking a lot about how to organize this traits effort, it feels like we haven't hit our stride yet :)</p>



<a name="155108695"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108695" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108695">(Jan 14 2019 at 19:20)</a>:</h4>
<p>perhaps, yes</p>



<a name="155108706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108706">(Jan 14 2019 at 19:20)</a>:</h4>
<p>I could see that working</p>



<a name="155108707"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108707" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108707">(Jan 14 2019 at 19:20)</a>:</h4>
<p>we need some dedicated times I think to dig into technical details</p>



<a name="155108713"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108713" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108713">(Jan 14 2019 at 19:20)</a>:</h4>
<p>so then the question becomes: which areas to create etc</p>



<a name="155108764"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108764" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108764">(Jan 14 2019 at 19:21)</a>:</h4>
<p>yeah some things will probably fall through the cracks</p>



<a name="155108770"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108770" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108770">(Jan 14 2019 at 19:21)</a>:</h4>
<p>I think what I woudl sort of like to do is this</p>



<a name="155108772"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108772" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108772">(Jan 14 2019 at 19:21)</a>:</h4>
<p>maybe on off-weeks it becomes traits "office hours" where people can always ask things that don't have dedicated time attached</p>



<a name="155108783"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108783" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108783">(Jan 14 2019 at 19:21)</a>:</h4>
<p>first of all, I want a master document sort of like the one we have here</p>



<a name="155108791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108791">(Jan 14 2019 at 19:21)</a>:</h4>
<p>that is listing out the "things we are doing" and their status</p>



<a name="155108859"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108859" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108859">(Jan 14 2019 at 19:22)</a>:</h4>
<p>yeah, idk, maybe we just try to have a sync time for each thing that is actively being worked on</p>



<a name="155108865"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108865" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108865">(Jan 14 2019 at 19:22)</a>:</h4>
<blockquote>
<p>first of all, I want a master document sort of like the one we have here</p>
</blockquote>
<p>Isn't that kind of like a repo with issues and a project tracking them?</p>



<a name="155108874"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108874" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108874">(Jan 14 2019 at 19:22)</a>:</h4>
<p>yes, that was what I was thinking as I typed it</p>



<a name="155108881"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108881" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108881">(Jan 14 2019 at 19:22)</a>:</h4>
<p>except it's not</p>



<a name="155108892"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108892" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108892">(Jan 14 2019 at 19:22)</a>:</h4>
<p>somehow a bunch of issues is more complex</p>



<a name="155108901"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108901" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108901">(Jan 14 2019 at 19:22)</a>:</h4>
<p>anyway forget that part</p>



<a name="155108932"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108932" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108932">(Jan 14 2019 at 19:23)</a>:</h4>
<p>it seems like we just need to pick a few things and focus on making them happen, and I think some of the more hazy things, the immediate step that is needed is to try and make them more concrete</p>



<a name="155108938"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155108938" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155108938">(Jan 14 2019 at 19:23)</a>:</h4>
<p>for trait objects, I propose that we start with <strong>trait object upcasting</strong></p>



<a name="155109060"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109060" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109060">(Jan 14 2019 at 19:24)</a>:</h4>
<p>I guess I would propose something like this for this week's agenda:</p>
<ul>
<li>chalk:<ul>
<li>discuss clause selection on zulip and get that going</li>
<li>merge the salsa work we did and somebody picks up the next step</li>
<li>an open call to talk about specialization rules maybe?</li>
</ul>
</li>
<li>rustc:<ul>
<li>talk over trait object upcasting (on Zulip or call) and how we can make it more specific</li>
</ul>
</li>
</ul>



<a name="155109061"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109061" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109061">(Jan 14 2019 at 19:24)</a>:</h4>
<p><span class="user-mention" data-user-id="124069">@Alexander Regueiro</span> I'm not really sure what a "fix" for (1) looks like</p>



<a name="155109094"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109094" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Taylor Cramer <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109094">(Jan 14 2019 at 19:25)</a>:</h4>
<p>(perhaps we should make this a separate thread so it doesn't get lost?)</p>



<a name="155109128"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109128" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Alexander Regueiro <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109128">(Jan 14 2019 at 19:25)</a>:</h4>
<p>and yes, good idea</p>



<a name="155109152"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109152" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109152">(Jan 14 2019 at 19:26)</a>:</h4>
<p>er, I overlooked the trait object integration from <span class="user-mention" data-user-id="131694">@scalexm</span></p>



<a name="155109202"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109202" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109202">(Jan 14 2019 at 19:26)</a>:</h4>
<p>that probably takes priority over specialization</p>



<a name="155109273"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109273" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109273">(Jan 14 2019 at 19:27)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> how do you think we ought to proceed there? I feel like it'd probably be helpful to talk it over a bit more in depth, perhaps via a voice call?</p>



<a name="155109435"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109435" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109435">(Jan 14 2019 at 19:28)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> maybe, although things are much clearer to me now, so I might be able to write a short document which explains how I see the implementation with simple rules, and why it solves the soundness issues we know about</p>



<a name="155109469"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109469" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109469">(Jan 14 2019 at 19:29)</a>:</h4>
<p>OK.</p>



<a name="155109507"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109507" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109507">(Jan 14 2019 at 19:29)</a>:</h4>
<p>I was thinking over the weekend that I could see it being really useful to have a "scheduled call" where we go over the design of some thorny-ish question</p>



<a name="155109578"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109578" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109578">(Jan 14 2019 at 19:30)</a>:</h4>
<p>I feel like it would be useful to have times to talk things out</p>



<a name="155109582"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109582" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109582">(Jan 14 2019 at 19:30)</a>:</h4>
<p>it'd probably also be ok for it to be zulip</p>



<a name="155109601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109601">(Jan 14 2019 at 19:30)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> yeah</p>



<a name="155109603"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109603" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109603">(Jan 14 2019 at 19:30)</a>:</h4>
<p>but I feel a need to have more design discussion and I'm not sure how best to do it</p>



<a name="155109622"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109622" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109622">(Jan 14 2019 at 19:30)</a>:</h4>
<p>(e.g., I've been thinking about how to handle regions a lot lately)</p>



<a name="155109628"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109628" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109628">(Jan 14 2019 at 19:30)</a>:</h4>
<p>A thing I might want to voice chat about is handling lifetimes in rustc/chalk</p>



<a name="155109637"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109637" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109637">(Jan 14 2019 at 19:30)</a>:</h4>
<p>right, that</p>



<a name="155109646"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109646" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109646">(Jan 14 2019 at 19:31)</a>:</h4>
<p>ok, so, I propose this structure</p>



<a name="155109658"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109658" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109658">(Jan 14 2019 at 19:31)</a>:</h4>
<p>we have a call with a topic</p>



<a name="155109672"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109672" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109672">(Jan 14 2019 at 19:31)</a>:</h4>
<p>and/or sync chat</p>



<a name="155109673"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109673" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109673">(Jan 14 2019 at 19:31)</a>:</h4>
<p>somebodfy is responsible for producing a kind of starting proposal</p>



<a name="155109680"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109680" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109680">(Jan 14 2019 at 19:31)</a>:</h4>
<p>participants are supposed to read it :)</p>



<a name="155109691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109691">(Jan 14 2019 at 19:31)</a>:</h4>
<p>and then we dig into it</p>



<a name="155109706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109706">(Jan 14 2019 at 19:31)</a>:</h4>
<p>i.e., to kind of set the scene</p>



<a name="155109791"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109791" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109791">(Jan 14 2019 at 19:32)</a>:</h4>
<p>I would be happy to try and produce a proposal about lifetimes etc, and maybe you can produce a proposal around trait objects? we can try to talk about one of those in more detail next week?</p>



<a name="155109818"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109818" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109818">(Jan 14 2019 at 19:33)</a>:</h4>
<p>(<span class="user-mention" data-user-id="117350">@Sunjay Varma</span> I would also be happy to schedule a slot to talk over the specialization stuff and get ball rolling there, and maybe you can keep it rolling)</p>



<a name="155109902"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109902" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109902">(Jan 14 2019 at 19:34)</a>:</h4>
<blockquote>
<p>(<span class="user-mention" data-user-id="117350">@Sunjay Varma</span> I would also be happy to schedule a slot to talk over the specialization stuff and get ball rolling there, and maybe you can keep it rolling)</p>
</blockquote>
<p>I would love to do that. I know some work on that has already been done. Is that recorded somewhere? I know about the call in the chalk code that records some info for specialization. Is there anything else?</p>



<a name="155109916"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109916" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109916">(Jan 14 2019 at 19:34)</a>:</h4>
<p>I find that these meetings work better when I get a chance to think about things in advance :)</p>



<a name="155109944"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109944" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109944">(Jan 14 2019 at 19:34)</a>:</h4>
<p><span class="user-mention" data-user-id="117350">@Sunjay Varma</span> I don't think any real work has been done</p>



<a name="155109955"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109955" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109955">(Jan 14 2019 at 19:34)</a>:</h4>
<p>well, I can review</p>



<a name="155109957"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109957" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109957">(Jan 14 2019 at 19:34)</a>:</h4>
<p>I shouldn't say that</p>



<a name="155109960"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109960" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109960">(Jan 14 2019 at 19:35)</a>:</h4>
<p>but I think the hard questions are not covered :)</p>



<a name="155109988"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109988" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109988">(Jan 14 2019 at 19:35)</a>:</h4>
<p>I've thought about it a fair amount though</p>



<a name="155109998"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155109998" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155109998">(Jan 14 2019 at 19:35)</a>:</h4>
<p>so what I would suggest is that we schedule a slot tomorrow -- maybe some one we did last week? -- and we'll go over a bit what's there</p>



<a name="155110002"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110002" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110002">(Jan 14 2019 at 19:35)</a>:</h4>
<p>i.e., this would not try to figure out anything <em>new</em> per se</p>



<a name="155110007"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110007" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110007">(Jan 14 2019 at 19:35)</a>:</h4>
<p>just a "catch up"</p>



<a name="155110010"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110010" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110010">(Jan 14 2019 at 19:35)</a>:</h4>
<p>and anybody can join that wants to</p>



<a name="155110066"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110066" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110066">(Jan 14 2019 at 19:36)</a>:</h4>
<p>Yes that works for me. I'll just write down all your thoughts. Then I can go consider it separately and we can meet again next week if needed. :)</p>



<a name="155110072"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110072" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110072">(Jan 14 2019 at 19:36)</a>:</h4>
<p>I guess I would say the pre-reqs to read are also the RFC :)</p>



<a name="155110075"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110075" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110075">(Jan 14 2019 at 19:36)</a>:</h4>
<p>and various blog posts</p>



<a name="155110088"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110088" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110088">(Jan 14 2019 at 19:36)</a>:</h4>
<p>though I think at the level of detail we're at, the blog posts aren't needed</p>



<a name="155110095"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110095" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110095">(Jan 14 2019 at 19:36)</a>:</h4>
<p>still, I can try to make a little list of links</p>



<a name="155110098"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110098" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110098">(Jan 14 2019 at 19:36)</a>:</h4>
<p>Yes that would be great</p>



<a name="155110104"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110104" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110104">(Jan 14 2019 at 19:36)</a>:</h4>
<p>Meet on Thursday then? That'll give me time to read</p>



<a name="155110111"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110111" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110111">(Jan 14 2019 at 19:36)</a>:</h4>
<p>Reading list in the doc?</p>



<a name="155110130"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110130" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110130">(Jan 14 2019 at 19:37)</a>:</h4>
<p>Not sure where Thursday came from but that can work for me. Let's move this scheduling to a new topic.</p>



<a name="155110244"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110244" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110244">(Jan 14 2019 at 19:38)</a>:</h4>
<p>OK, so that's a concrete thing</p>



<a name="155110264"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110264" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110264">(Jan 14 2019 at 19:39)</a>:</h4>
<p>Next up: <span class="user-mention" data-user-id="116883">@tmandry</span> I am arbitrarily nominating you to carry on the "salsa-ification" work</p>



<a name="155110267"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110267" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110267">(Jan 14 2019 at 19:39)</a>:</h4>
<p>how do you feel about that :P</p>



<a name="155110276"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110276" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110276">(Jan 14 2019 at 19:39)</a>:</h4>
<p>alternatively, we could wait on that until we talk over more of the specialization design</p>



<a name="155110355"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110355" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110355">(Jan 14 2019 at 19:40)</a>:</h4>
<p>Also, <span class="user-mention" data-user-id="116108">@Keith Yeung</span>, clause selection? Perhaps I'll chat with you in a separate topic about that.. (done)</p>



<a name="155110701"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110701" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110701">(Jan 14 2019 at 19:44)</a>:</h4>
<p><span class="user-mention" data-user-id="131694">@scalexm</span> do you plan to produce a writeup of some kind of the trait objects?</p>



<a name="155110706"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155110706" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155110706">(Jan 14 2019 at 19:45)</a>:</h4>
<p>I'm trying to kind of collapse the things we aim to do this week</p>



<a name="155111338"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111338" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111338">(Jan 14 2019 at 19:52)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> sorry had to step out for a bit</p>



<a name="155111357"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111357" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111357">(Jan 14 2019 at 19:53)</a>:</h4>
<p>no worries</p>



<a name="155111366"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111366" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111366">(Jan 14 2019 at 19:53)</a>:</h4>
<p>Here is a <a href="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AVoTN6X9rLS4nmmf4Aj2hz6DAg-oDfr6ct8xx63HSAOOmIZX#:h2=This-week%E2%80%99s-goals" target="_blank" title="https://paper.dropbox.com/doc/WG-Traits-Planning-Meeting--AVoTN6X9rLS4nmmf4Aj2hz6DAg-oDfr6ct8xx63HSAOOmIZX#:h2=This-week%E2%80%99s-goals">link</a> to a section of goals</p>



<a name="155111369"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111369" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111369">(Jan 14 2019 at 19:53)</a>:</h4>
<p>I'd be happy to work on salsa-ification</p>



<a name="155111372"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111372" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111372">(Jan 14 2019 at 19:53)</a>:</h4>
<p>great</p>



<a name="155111379"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111379" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111379">(Jan 14 2019 at 19:53)</a>:</h4>
<p>I'm trying to remember if my PR was mergable as is</p>



<a name="155111390"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111390" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111390">(Jan 14 2019 at 19:53)</a>:</h4>
<p>I guess as you said first step is to open and issue and spell out some steps? :)</p>



<a name="155111393"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111393" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111393">(Jan 14 2019 at 19:53)</a>:</h4>
<p>we had a topic, we can take it there I guess</p>



<a name="155111396"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111396" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> tmandry <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111396">(Jan 14 2019 at 19:53)</a>:</h4>
<p>yep</p>



<a name="155111493"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111493" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111493">(Jan 14 2019 at 19:55)</a>:</h4>
<p><span class="user-mention" data-user-id="116009">@nikomatsakis</span> I’ll probably write this write up on a chalk issue</p>



<a name="155111502"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111502" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> scalexm <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111502">(Jan 14 2019 at 19:55)</a>:</h4>
<p>Or if you think somewhere else is better that’s fine</p>



<a name="155111601"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111601" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111601">(Jan 14 2019 at 19:56)</a>:</h4>
<p>chalk issue seems fine</p>



<a name="155111643"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111643" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111643">(Jan 14 2019 at 19:57)</a>:</h4>
<p><strong>Regarding technical discussion, I propose this: </strong></p>
<p>we use this same slot, but we alternate between "general triage" and "technical deep dive"</p>



<a name="155111691"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111691" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111691">(Jan 14 2019 at 19:58)</a>:</h4>
<p>This week was the former, so next week can be deep dive</p>



<a name="155111708"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111708" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111708">(Jan 14 2019 at 19:58)</a>:</h4>
<p>Trait objects works for me, else I'll try to produce something about lifetimes</p>



<a name="155111719"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111719" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> nikomatsakis <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111719">(Jan 14 2019 at 19:58)</a>:</h4>
<p>Thoughts? We can chat on Zulip probably</p>



<a name="155111961"></a>
<h4><a href="https://rust-lang.zulipchat.com#narrow/stream/144729-wg-traits/topic/weekly%20meeting%202019-01-14/near/155111961" class="zl"><img src="https://rust-lang.github.io/zulip_archive/assets/img/zulip.svg" alt="view this post on Zulip" style="width:20px;height:20px;"></a> Sunjay Varma <a href="https://rust-lang.github.io/zulip_archive/stream/144729-wg-traits/topic/weekly.20meeting.202019-01-14.html#155111961">(Jan 14 2019 at 20:01)</a>:</h4>
<p>Sounds good! Thanks for organizing all of this Niko! <span class="emoji emoji-1f603" title="smiley">:smiley:</span></p>



<hr><p>Last updated: Aug 07 2021 at 22:04 UTC</p>
</html>